Proof of correctness

join shbcf.ru